Revision: tla-tools--devo--0--patch-86
Archive: miles@gnu.org--gnu-2003
Creator: Miles Bader <miles@gnu.org>
Date: Mon Sep 29 14:58:49 JST 2003
Standard-date: 2003-09-29 05:58:49 GMT
Modified-files: ChangeLog tla-tools-funs.awk
New-patches: miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-86
Summary: Add file_explicit_id_dir to tla-tools-funs.awk

